Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
004B65 | Claude Marché [France] ; Hans Zantema [Pays-Bas] | The Termination Competition |
00C687 | Hans Zantema [Pays-Bas] | Total Termination of Term Rewriting is Undecidable |
This area was generated with Dilib version V0.6.33. |